161. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده: Ed Brinksma )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
162. Transactions on computational science XIV :
پدیدآورنده: Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
163. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
پدیدآورنده: Miquel Bertran, Teodor Rus, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1231
164. Windows communication foundatio
پدیدآورنده: / Craig McMurtry ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Microsoft Windows (Computer file),Application software--Development,Electronic data processing--Distributed processing,Web services.
رده :
QA
,
76
.
76
,.
A65
,
W59
,
2007
165. Windows communication foundation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Application software ; Development ; Electronic data processing ; Distributed processing ; Web services ; Microsoft Windows (Computer file) ;
166. core systems-Software development for embedded multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Multiprocessors. ; Embedded computer systems. ; Electronic data processing ; Distributed processing. ; Computer software ; Development. ;
167. 0203931254 (ebook)
پدیدآورنده: edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
168. order components for grid programming-Higher
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational grids (Computer systems) ; Computer software ; Development. ; Parallel programming (Computer science) ; Electronic data processing ; Distributed processing. ; API. ; swd. ; Grid Computing. ; swd. ; Hochleistungsrechnen. ; swd. ; Komponentenm
169. oriented application development for distributed architectures-Performance
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ; Application software ; Congresses. ; Computer architecture ; Congresses. ; High performance computing ; Congresses. ;
171. xiv, 237 p. :
پدیدآورنده: Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
172. xviii, 5,Intern
پدیدآورنده: Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
